منابع مشابه
Algebraic data integration
In this paper we present the first truly practical formalism for querying and integrating data using the functorial data model. In our formalism, database schemas and instances are multi-sorted equational theories of a certain form. Schemas denote categories, and instances denote their initial (term) algebras. The instances on a schema S form a category, S–Inst, and a morphism of schemas F : S→...
متن کاملIntegration of algebraic functions
We show how the \rational" approach for integrating algebraic functions can be extended to handle elementary functions. The resulting algorithm is a practical decision procedure for determining whether a given elementary function has an elementary antiderivative, and for computing it if it exists.
متن کاملConstructive algebraic integration theory
For a long time people have been trying to develop probability theory starting from ‘finite’ events rather than collections of infinite events. In this way one can find natural replacements for measurable sets and integrable functions, but measurable functions seemed to be more difficult. We present a solution. Moreover, our results are constructive (in the sense of Bishop).
متن کاملAlgebraic Integration Theory
1. Introduction. Although the theory of the abstract Lebesgue integral has strong intrinsic architectural articulation, the very importance of the theory for a variety of mathematical applications has tended to cloud its basic simplicity and elegance. The large number of approaches and formalisms, each justified by its appropriate-ness in connection with particular applications, has given the t...
متن کاملAlgebraic Properties of Program Integration
The need to integrate several versions of a program into a common one arises frequently, but it is a tedious and time consuming task to merge programs by hand. The program-integration algorithm proposed by Horwitz, Prins, and Reps provides a way to create a semantics-based tool for integrating a base program with two or more variants. The integration algorithm is based on the assumption that an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Functional Programming
سال: 2017
ISSN: 0956-7968,1469-7653
DOI: 10.1017/s0956796817000168